Tool support for the construction of statically analysable hard real-time Ada systems
نویسنده
چکیده
This paper maintains that fixed-priority process-based preemptive scheduling is, arguably, more convenient, flexible and responsive than conventional cyclic scheduling for the construction of new-generation software-intensive satellite control systems. Predictable usage of preemptive priority-based scheduling, however, demands the support of mature static analysis techniques. Worst-case response time analysis models can be constructed which minimise the embodied pessimism and maximise useful processing. This paper presents the design and implementation of an Ada programming model and associated worst-case response time analysis tools aimed to support the construction of highly-predictable, highly-efficient on-board control systems.
منابع مشابه
Designing Hard Real-Time Systems
This paper presents a systems life cycle and a structured design method which are tailored towards the construction of real-time systems in general, and hard real-time systems in particular. The standard systems life cycle is modified to take into account the expression and satisfaction of non-functional requirements. The HOOD design method is extended to support abstractions which explicitly c...
متن کاملReimplementing a Multiprocess Distributed Paradigm for Real - Time Systems
A specification/generation software tool for building hard real-time distributed systems was redeveloped to generate Ada 95 rather that Ada 83 and targeted to the GNAT Ada 95 compiler under Sun Solaris. The resulting simulator was tested with missile flight simulation code. Language issues discovered and paradigms used are discussed with recommendations in the paper. Performance data is
متن کاملAn Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that Ada offers for real-time systems development, would be suitable for component-based real-time applications that run on embedded platforms with limited resources. This paper proposes a model based technology for the impl...
متن کاملA Technique for Testing Highly Reliable Real-time Software
The engineering of software systems that must be highly reliable is very difficult, and support tools and techniques are clearly needed. We are developing a technique and an associated tool set that uses executable specifications based on Annotated Ada (Anna) for software testing in hard real-time environments. Our initial tool, the test range oracle tool (TROT), supports the creation of simple...
متن کاملReal-Time Building Information Modeling (BIM) Synchronization Using Radio Frequency Identification Technology and Cloud Computing System
The online observation of a construction site and processes bears significant advantage to all business sector. BIM is the combination of a 3D model of the project and a project-planning program which improves the project planning model by up to 6D (Adding Time, Cost and Material Information dimensions to the model). RFID technology is an appropriate information synchronization tool between the...
متن کامل